
#include "picoshell.h"
#include "user_lib.h"
#include "exit.h"

int main()
{
	run();
	exit();
}

int run()
{
	int i;
	for (i=10;i>0;i--) 
	{
		printInt(i,10);
		printString("\n");
	}
	printString("GOOD BYE\n");
}
